101. Formal concept analysis
Author: Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
QA
،
171
.
5
،.
I55
،
2011
102. Formal concept analysis :
Author: Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses -- Mathematics.,Data mining -- Congresses.,Mathematical analysis -- Congresses.
Classification :
QA76
.
9
.
M35
F567
2012
103. Foundations of information and knowledge systems
Author: Jürgen Dix, Stephen J. Hegner (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems, Congresses.,Databases, Congresses.,Information technology, Congresses.,Knowledge representation (Information theory), Congresses.
104. Frontiers in Algorithmics
Author: \ Jianxin Wang, Chee Yap (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Discrete Mathematics in Computer Science.,Algorithm Analysis and Problem Complexity.,الگوریتمهای کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
F76
2015
E-Book
,
105. Fundamentals of computation theory
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
Classification :
QA
267
.
I57
1985
106. Future tendencies in computer science, control, and applied mathematics :
Author: A. Bensoussan, J.-P. Verjus (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
107. Future tendencies in computer science, control, and applied mathematics :
Author: A. Bensoussan, J.-P. Verjus (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
108. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L28
Vol
.
653
109. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L4
v
.
653
110. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
Classification :
QA
76
.
5
.
I5484
1992
111. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
112. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
113. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
114. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
115. Graph-theoretic concepts in computer science :
Author: Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
Classification :
QA166
116. Graphs and discovery
Author: Siemion Fajtlowicz ... [et al.]&, editors
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
Classification :
QA
,
166
,.
G7354
,
2005
117. Graphs and discovery
Author: Siemion Fajtlowicz ... ]et al.[, editors
Library: Vali Asr University Central Library (Kerman)
Subject: Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
Classification :
QA
166
.
G7354
2005
118. Graphs and discovery: DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University: DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Graph theory-- Data processing,Congresses ، Computer science-- Mathematics
Classification :
QA
166
.
G7354
2005
119. Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretical and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
Author: Siemion Fajtlowicz... ]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Graph theory,Congresses ، Computer science -- Mathematics
Classification :
QA
166
.
D544
2001
120. High performance Computing for Computational Science -- VECPAR 2014
Author: \ [edited by] Michel Dayde, Osni Marques, Kengo Nakajima.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: High performance computing -- Congresses.,Computer science -- Mathematics -- Congresses.,Mathematics of Computing.,دادهپردازی با بازدهی عالی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
88
.
H5
2015
E-Book
,
